case FW_HYPERCALL_PAL_CALL:
//printf("*** PAL hypercall: index=%d\n",regs->r28);
//FIXME: This should call a C routine
-#if 1
+#if 0
// This is very conservative, but avoids a possible
// (and deadly) freeze in paravirtualized domains due
// to a yet-to-be-found bug where pending_interruption
#define SPURIOUS_VECTOR 15
pi = vcpu_check_pending_interrupts(v);
if (pi != SPURIOUS_VECTOR) {
- idle_when_pending++;
- pi = vcpu_pend_unspecified_interrupt(v);
+ if (!v->vcpu_info->arch.pending_interruption)
+ idle_when_pending++;
+ vcpu_pend_unspecified_interrupt(v);
//printf("idle w/int#%d pending!\n",pi);
//this shouldn't happen, but it apparently does quite a bit! so don't
//allow it to happen... i.e. if a domain has an interrupt pending and
extern unsigned long lazy_cover_count;
extern unsigned long idle_when_pending;
extern unsigned long pal_halt_light_count;
+extern unsigned long context_switch_count;
int dump_misc_stats(char *buf)
{
s += sprintf(s,"Physical translations: %d\n",phys_translate_count);
s += sprintf(s,"Idle when pending: %d\n",idle_when_pending);
s += sprintf(s,"PAL_HALT_LIGHT (no pending): %d\n",pal_halt_light_count);
+ s += sprintf(s,"context switches: %d\n",context_switch_count);
s += sprintf(s,"Lazy covers: %d\n",lazy_cover_count);
return s - buf;
}
phys_translate_count = 0;
vhpt_translate_count = 0;
lazy_cover_count = 0;
+ pal_halt_light_count = 0;
+ idle_when_pending = 0;
+ context_switch_count = 0;
}
int dump_hyperprivop_counts(char *buf)
void cs10foo(void) {}
void cs01foo(void) {}
+unsigned long context_switch_count = 0;
+
// context_switch
void context_switch(struct vcpu *prev, struct vcpu *next)
{
/* Housekeeping for prev domain */
#endif // CONFIG_VTI
+ context_switch_count++;
switch_to(prev,next,prev);
#ifdef CONFIG_VTI
/* Post-setup for new domain */